#pragma once

#ifndef NEXTBIPHANDLE_H
#define NEXTBIPHANDLE_H

//#include "PKB.h"
#include "spa_types.h"
#include <vector>
#include <algorithm>
#include <iterator>

using namespace std;
class PKB;

class NextBIPHandle
{
	
private: 
	PKB* pkb;
	NextBIPHandle(void);
	~NextBIPHandle(void);

public:
	std::vector<std::vector<INTEGER>> RetrieveTransitiveNext(std::vector<PROG_LINE>, std::vector<PROG_LINE>);
	std::vector<std::vector<INTEGER>> RetrieveNext(std::vector<PROG_LINE>, std::vector<PROG_LINE>);
};

#endif